上下文无关语言

上下文无关语言是一类由上下文无关文法定义的形式语言，在计算机科学和语言学中应用广泛，比如编程语言的语法解析。它们属于乔姆斯基层级（Chomsky Hierarchy）中的第二级，具有嵌套层次结构的特点，例如括号匹配的模式（像"a^n b^n"这样的字符串）。